automatic theorem proving
[网络] 自动定理证明；机械证明定理
热门查询
- taconite n. 角岩；[岩] 铁燧岩
- disillusionment n. 幻灭；醒悟
- oompah n. 嗡吧嗡吧的声音
- lash vt. 鞭打；冲击；摆动；扎捆；煽动；讽刺 vi. 鞭打；猛击；急速甩动 n. 鞭打；睫毛；鞭子；责骂；讽刺 n. (Lash)人名；(英)拉希
- Beecham 比彻姆(姓氏)
- woodpecker n. [鸟] 啄木鸟
- Wotton 沃顿
- Berlusconi n. (Berlusconi)人名；(意)贝卢斯科尼
- ruffed adj. 有环状羽毛的；有装襟的
- albacore n. 青花鱼科的海产鱼
- syd abbr. see your doctor 见医生; shipyard 船坞，造船厂
- haloed n. 光环；荣光 vt. 使有晕轮；围以光环 vi. 成晕轮
- sib n. 亲属；亲族 adj. 近亲的，有血缘关系的 n. (Sib)人名；(英)茜布(教名Sibyl、Sibylla、Sybil的昵称)
- misspent v. 滥用；虚度；浪费（misspend的过去分词）
- summoning n. 召唤 v. 召唤；召集（summon的ing形式）
- santo n. 圣者，圣者像 adj. 神圣的
- blemished adj. 有瑕疵的；有污点的 v. 玷污（blemish的过去式及过去分词）；使有伤疤；损害；损伤
- oropharyngeal adj. 口咽的
- bedsore n. 褥疮
- contain vi. 含有；自制 vt. 包含；控制；容纳；牵制（敌军）
